PDF Document

Source URL: project.iu.hio.no

• Mathematics
• Modal logic
• Non-classical logic
• Kripke semantics
• Futures and promises
• Temporal logic
• Kripke structure
• Promise
• Promise theory
• Logic
• Mathematical logic
• Philosophical logic